Статья

Название статьи

                                                    МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ SystemC                                                           В ПРОЦЕССЕ РАЗРАБОТКИ ПРОТОКОЛОВ ПЕРЕДАЧИ ДАННЫХ 

Авторы

Оленев Валентин Леонидович, аспирант, магистр техники и технологии, Санкт-Петербургский государственный университет аэрокосмического приборостроения, Valentin.Olenev@guap.ru 

Индекс УДК

004.057.4 

Аннотация

Описываются место моделирования в процессе разработки коммуникационных протоколов, возможности моделирования и те цели, которые можно достичь, используя модели на различных этапах разработки. Рассмотрен язык SystemC как наиболее адаптированный для написания такого рода моделей, имеющий преимущества перед другими языками; доказывается его состоятельность для моделирования и верификации. 

Ключевые слова

моделирование, протокол, SystemC, верификация. 

 

 Скачать статью в формате PDF

Список литературы

1. Бухтеев, А. Методы и средства проектирования систем на кристалле / А. Бухтеев // CHIP NEWS. – 2003. – № 4 (77). – Апрель. – С. 4–14.
2. Кларк, Э. Верификация моделей программ: Model Checking / Э. Кларк, О. Грамберг, Д. Пелед. – М. : Московский центр непрерывного математического образования, 2002. – 416 с.
3. Суворова, Е. A Methodology and the Tool for Testing SpaceWire Routing Switches / Е. Суворова // SpaceWire : материалы Первой Международной конференции. – Данди, 2007. – Режим доступа: http://spacewire.computing.dundee.ac.uk/ proceedings/Papers/Test%20and%20Verification%202/suvorova2.pdf.
4. Gillet, M. Hardware/software co-simulation for conformance testing of embedded networks / M. Gillet // Finnish-Russian University Cooperation in Telecommunications (FRUCT) : материалы шестого семинара. – Тампере, 2008. – Режим доступа: http://fruct.org/index.php?option=com_content&view=article&id=68&Itemid=73.
5. Оленев, В. Методы межмодульного взаимодействия при моделировании протоколов встроенных систем / В. Оленев, Л. Онищенко, А. Еганян // Научная сессия ГУАП. – СПб. : СПб ГУАП, 2008. – С. 98–99.
6. Нему дров, В. Системы на кристалле. Проблемы проектирования и развития / В. Немудров, Г. Мартин. – М. : Техносфера, 2004. – 212 с.
7. Swan, S. A Tutorial Introduction to the SystemC TLM Standard / S. Swan. – 2003. – Режим доступа: http://www-ti.informatik.uni-tuebingen.de/~systemc/Documents/ Presentation-13-OSCI_2_swan.pdf.
8. Rose, J. SCV Randomization / J. Rose, S. Swan. – Cadence Design Systems, 2003. – Режим доступа: http://www.openverificationfoundation.org/docs/scv_randomization.pdf

 

Дата создания: 25.07.2013 09:38
Дата обновления: 25.07.2013 09:38